home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 5 / Apprentice-Release5.iso / Environments / SmallEiffel 0.3.3 / SmallEiffel 68k / lib_test / test_invariant.e < prev    next >
Encoding:
Text File  |  1996-06-13  |  278 b   |  27 lines  |  [TEXT/EDIT]
  1. class TEST_INVARIANT
  2.  
  3. creation {ANY}
  4.    make
  5.    
  6. feature {ANY}
  7.    
  8.    i: INTEGER;
  9.    
  10.    make is
  11.       local
  12.      c: like Current;
  13.       do
  14.      c := Current;
  15.      i := 2;
  16.       end;
  17.  
  18. invariant
  19.    
  20.    same_type(Current);
  21.    
  22.    i = 2;
  23.    
  24.    Current = Current;
  25.    
  26. end -- TEST_INVARIANT
  27.